Cook, Kannan and Schrijver’s example revisited
نویسندگان
چکیده
منابع مشابه
Cook, Kannan and Schrijver's example revisited
In 1990, Cook, Kannan and Schrijver proved that the split closure (the 1st 1-branch split closure) of a polyhedron is again a polyhedron. They also gave an example of a 3-dimensional mixed-integer polytope whose 1-branch split rank is infinite. We generalize this example to a family of high-dimensional polytopes and present a closed-form description of the kth 1-branch split closure of these po...
متن کاملSchrijvers Beweis Von Maders Satz
In der Arbeit von Schrijver [3] wird die folgende Formulierung von Maders Satz aus [2] bewiesen (siehe Satz 1). Wir werden skizzieren wie man aus diesem Satz die Formulierung von Maders Satz über kreuzungsfreie H-Wege (siehe Korollar 2) herleiten kann. Eine Menge P von Wegen in einem Graphen G = (V,E) ist kreuzungsfrei, wenn die Schnittmenge der Eckenmengen zweier unterschiedlicher Wege aus P e...
متن کاملLinear Sketching over F 2 Sampath Kannan
We initiate a systematic study of linear sketching over F2. For a given Boolean function f : {0, 1} → {0, 1} a randomized F2-sketch is a distributionM over d×n matrices with elements over F2 such thatMx suffices for computing f(x) with high probability. We study a connection between F2-sketching and a two-player one-way communication game for the corresponding XOR-function. Our results show tha...
متن کاملStylalgia Revisited: Clinical Profile and Management
Introduction: Eagle’s syndrome is a constellation of signs secondary to an elongated styloid process or due to mineralization of the stylohyoid or stylomandibular ligament or the posterior belly of the digastric muscle. The syndrome includes symptoms ranging from stylalgia (i.e. pain in the tonsillar fossa, pharyngeal or hyoid region) to foreign-body sensation in the throat, cervicofacial pain,...
متن کاملSource-To-Source Analysis with SATIrE - an Example Revisited
Source-to-source analysis aims at supporting the reuse of analysis results similar to code reuse. The reuse of program code is a common technique which attempts to save time and costs by reducing redundant work. We want to avoid re-analyzing parts of a software system, such as library code. In the ideal case the analysis results are directly associated with the program itself. Source-to-source ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Optimization
سال: 2008
ISSN: 1572-5286
DOI: 10.1016/j.disopt.2008.05.002